Search results for "Probability assessment"

showing 10 items of 13 documents

Lower and Upper Probability Bounds for Some Conjunctions of Two Conditional Events

2018

In this paper we consider, in the framework of coherence, four different definitions of conjunction among conditional events. In each of these definitions the conjunction is still a conditional event. We first recall the different definitions of conjunction; then, given a coherent probability assessment (x, y) on a family of two conditional events \(\{A|H,B|K\}\), for each conjunction \((A|H) \wedge (B|K)\) we determine the (best) lower and upper bounds for the extension \(z=P[(A|H) \wedge (B|K)]\). We show that, in general, these lower and upper bounds differ from the classical Frechet-Hoeffding bounds. Moreover, we recall a notion of conjunction studied in recent papers, such that the res…

CombinatoricsSettore MAT/06 - Probabilita' E Statistica MatematicaProbability assessmentCoherence Conditional event Conditional random quantity Kleene-Lukasiewicz-Heyting conjunction Lukasiewicz conjunction Bochvar internal conjunction Sobocinski conjunction Lower and upper bounds Fréchet-Hoeffding bounds010102 general mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing02 engineering and technology0101 mathematics01 natural sciencesMathematics
researchProduct

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P

2016

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment defaultreasoning from conditional knowledge bases System P conditional objects.conditional constraintsLogicDefault logicStatistics::Other StatisticsProbabilistic logic networkConditional probability assessmentsprobabilistic logic under coherenceNon-monotonic logicSystem PMathematicsg-coherent entailmentHardware_MEMORYSTRUCTURESmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicSystem P; g-coherence; conditional objectsCoherence (statistics)default reasoning from conditional knowledge basesProbabilistic argumentationConditional probability assessments; conditional constraints; probabilistic logic under coherence; model-theoretic probabilistic logic; g-coherence; g-coherent entailment; default reasoning from conditional knowledge bases; System P; conditional objects.Philosophyg-coherenceProbabilistic CTLArtificial intelligencebusinessAlgorithmconditional objectsJournal of Applied Non−Classical Logics
researchProduct

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

2001

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaKnowledge representation and reasoningComputer scienceDefault logicDivergence-from-randomness modelLogic modelcomputer.software_genreLogical consequenceProbabilistic logic networkConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment default reasoning from conditional knowledge bases System P conditional objectsprobabilistic logic under coherenceNon-monotonic logicProbabilistic relevance modeldefault reasoningmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicProbabilistic argumentationExpert systemg-coherencesystem pProbabilistic CTLArtificial intelligencebusinesscomputerdefault reasoning; g-coherence; model-theoretic probabilistic logic; probabilistic logic under coherence; system p
researchProduct

External photon radiation treatment for prostate cancer: Uncomplicated and cancer-free control probability assessment of 36 plans

2019

[Purpose] To perform a systematic and thorough assessment, using the Uncomplicated and Cancer-Free Control Probability (UCFCP) function, of a broad range of photon prostate cancer RT treatments, on the same scenario (a unique pelvic CT set). UCFCP considers, together with the probabilities of local tumour control (TCP) and deterministic (late) sequelae (NTCP), the second primary cancer risk (SPCR) due to photon and neutron peripheral doses.

MaleProbability assessmentmedicine.medical_treatmentRadiobiological modellingBiophysicsGeneral Physics and AstronomyProstate radiotherapy treatmentNormal tissue complication probabilityTumour control probabilityRadiation protection of the patient030218 nuclear medicine & medical imaging03 medical and health sciencesProstate cancer0302 clinical medicinemedicineHumansDosimetryRadiology Nuclear Medicine and imagingConformal radiationProbabilityPhotonsbusiness.industryRadiotherapy Planning Computer-AssistedCancer-FreePhoton radiationProstatic NeoplasmsRadiotherapy DosageGeneral MedicineSecond primary cancermedicine.diseaseRadiation therapySecond primary cancer risk030220 oncology & carcinogenesisRadiotherapy plan optimisationRadiotherapy Intensity-ModulatedRadiotherapy ConformalTomography X-Ray ComputedNuclear medicinebusinessPhysica Medica 66: 88-96 (2019)
researchProduct

A Decision Analysis Approach to Multiple-Choice Examinations

1998

We present a decision analysis approach to the problems faced by people subject to multiple-choice examinations, as often encountered in their education, in looking for a job, or in getting a driving permit.

Probability assessmentManagement scienceDecision treeSubject (documents)Decision ruleMathematicsOptimal decisionMultiple choiceDecision analysis
researchProduct

Quasi conjunction and p-entailment in nonmonotonic reasoning

2010

We study, in the setting of coherence, the extension of a probability assessment defined on n conditional events to their quasi conjunction. We consider, in particular, two special cases of logical dependencies; moreover, we examine the relationship between the notion of p-entailment of Adams and the inclusion relation of Goodman and Nguyen. We also study the probabilistic semantics of the QAND rule of Dubois and Prade; then, we give a theoretical result on p-entailment.

Settore MAT/06 - Probabilita' E Statistica MatematicaProbability assessmentProbabilistic semanticsInclusion relationExtension (predicate logic)Coherence (statistics)Logical consequenceConjunction (grammar)Coherence lower/upper probability bounds quasi conjunction QAND rule p-entailmentCalculusp-entailment.; quasi conjunction; lower/upper probability bounds; qand rule; coherence; p-entailmentNon-monotonic logicAlgorithmMathematics
researchProduct

Logical Conditions for Coherent Qualitative and Numerical Probability Assessments

2003

Settore MAT/06 - Probabilita' E Statistica Matematicalower and upper probability boundsUncertain knowledge coherence g-coherence imprecise probabilities conditional probability bounds lower and upper probabilities coherent qualitative probability assessmentsqualitative probabilitieslogical conditionsGeneralized coherenceGeneralized coherence; lower and upper probability bounds; logical conditions; qualitative probabilities.
researchProduct

Efficient checking of coherence and propagation of imprecise probability assessments

2000

We consider the computational difficulties in the checking of coherence and propagation of imprecise probability assessments. We examine the linear structure of the random gain in betting criterion and we propose a general methodology which exploits suitable subsets of the set of values of the random gain. In this way the checking of coherence and propagation amount to examining linear systems with a reduced number of unknowns. We also illustrate an example.

computationCoherent probability assessments propagation random gain computation algorithmsSettore MAT/06 - Probabilita' E Statistica MatematicaCoherent probability assessmentsrandom gainCoherent probability assessments; propagation; random gain; computation; algorithms.Coherent probability assessments; Propagation; AlgorithmsPropagationAlgorithms
researchProduct

From imprecise probability assessments to conditional probabilities with quasi additive classes of conditioning events

2012

In this paper, starting from a generalized coherent (i.e. avoiding uniform loss) intervalvalued probability assessment on a finite family of conditional events, we construct conditional probabilities with quasi additive classes of conditioning events which are consistent with the given initial assessment. Quasi additivity assures coherence for the obtained conditional probabilities. In order to reach our goal we define a finite sequence of conditional probabilities by exploiting some theoretical results on g-coherence. In particular, we use solutions of a finite sequence of linear systems.

conditional eventFOS: Computer and information sciencesSettore MAT/06 - Probabilita' E Statistica MatematicaArtificial Intelligence (cs.AI)Computer Science - Artificial Intelligencequasi additivityProbability (math.PR)FOS: MathematicsG-coherenceconditional probabilityinterval-valued probability assessmentMathematics - Probability
researchProduct

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…

conditional probability assessmentSettore MAT/06 - Probabilita' E Statistica MatematicaDivergence-from-randomness modelalgorithmsprobabilistic logicConditional probability assessments; probabilistic logic; g-coherence; g-coherent entailment; complexity and algorithms.Artificial IntelligenceProbabilistic logic networkprobabilistic logic under coherenceConditional probability assessmentsProbabilistic analysis of algorithmsNon-monotonic logicconditional constraintMathematicsg-coherent entailmentConditional probability assessments probabilistic logic g-coherence g-coherent entailment complexity and algorithms.Reasoning systemcomputational complexitymodel-theoretic probabilistic logicApplied Mathematicscomplexity and algorithmsProbabilistic logiclogical constraintProbabilistic argumentationg-coherenceconditional probability assessment logical constraint conditional constraint probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment computational complexity algorithmsProbabilistic CTLalgorithms; computational complexity; conditional constraint; conditional probability assessment; g-coherence; g-coherent entailment; logical constraint; model-theoretic probabilistic logic; probabilistic logic under coherenceAlgorithmAnnals of Mathematics and Artificial Intelligence
researchProduct